Polish environment: Immediate action imperative
نویسندگان
چکیده
منابع مشابه
Action-Based Imperative Programming with YAGI
Many tasks for autonomous agents or robots are best described by a specification of the environment and a specification of the available actions the agent or robot can perform. Combining such a specification with the possibility to imperatively program a robot or agent is what we call the actionbased imperative programming. One of the most successful such approaches is Golog. In this paper, we ...
متن کاملA Computational Model for Declarative Recognition and Imperative Action
Sita is a novel agent language for modeling intelligent behaviour in dynamic environments. The central modeling principle is the distinction of recognition and action as the two complementary basic skills essential for situated behaviour. The underlying computational model combines an incremental bottom-up logic programming mechanism with a concurrent process calculus. This principle allows the...
متن کاملThe Ebola emergency--immediate action, ongoing strategy.
The 25th known outbreak of Ebola virus infection is unlike any of the previous epidemics. It has already killed over 2800 people — more than all previous epidemics combined; it’s affecting virtually the entire territory of three countries, involving rural areas, major urban centers, and capital cities; it has been going on for almost a year; and it is occurring in West Africa, where no Ebola ou...
متن کاملA Verification Environment for Sequential Imperative Programs in Isabelle/HOL
We develop a general language model for sequential imperative programs together with a Hoare logic. We instantiate the framework with common programming language constructs and integrate it into Isabelle/HOL, to gain a usable and sound verification environment.
متن کاملEnvironment and Development Challenges: The Imperative to Act
Gro Harlem Brundtland, Paul Ehrlich, Jose Goldemberg, James Hansen, Amory Lovins, Gene Likens, James Lovelock, Suki Manabe, Bob May, Hal Mooney, Karl-Henrik Robert, Emil Salim, Gordon Sato, Susan Solomon, Nicholas Stern, MS Swaminathan, Bob Watson, Barefoot College, Conservation International, International institute of Environment and Development, and International Union for the Conservation o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1984
ISSN: 0028-0836,1476-4687
DOI: 10.1038/308101b0